2001: AN OVERVIEW

An overview of CADP 2001

Cadp is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It offers a wide range of state-of-the-art functionalities assisting the user throughout the design process: compilation, rapid prototyping, interactive and guided simulation, verification by equivalence/preorder checking and temporal logic model-checking, and test gener...

Airline Revenue Management: An Overview of OR Techniques 1982-2001

With the increasing interest in decision support systems and the continuous advance of computer science, revenue management is a discipline which has received a great deal of interest in recent years. Although revenue management has seen many new applications throughout the years, the main focus of research continues to be the airline industry. Ever since Littlewood (1972) first proposed a solu...

An Overview of Candiduria

Candida microorganisms frequently exist as saprophytes on the external genitalia or urethra, however, yeast in measurable quantities are found in <1% of clean voided urine specimens. The overall frequency of Candida infections in hospitals has increased by 200% to 300% in the last decade, such that in a general hospital 5% of urine cultures may yield Candida species, and in tertiary-care center...

An Overview on Tuberculosis

بیماری سل یک عفونت باکتریایی مزمن است که توسط مایکوباکتریوم توبرکلوزیس ایجاد شده و توسط تشکیل گرانولوما در بافتهای آلوده مشخص می گردد. شایعترین مکان بروز بیماری، ریه ها می باشند. هر چند که سایر ارگانها نیز ممکن است، درگیر بیماری شوند. سل یک بیماری جدید و ناشناخته نیست. این بیماری در گذشته به عنوان کشنده شماره یک در ایالات متحده محسوب می شد و اکنون نیز به عنوان یک عامل مهم مرگ در کل جهان مطرح است.

Human brucellosis: An overview